1. Formal object-oriented specification using object-Z
پدیدآورنده : Duke, Roger
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
.
D85
2000
2. Formal object-oriented specification using object-Z
پدیدآورنده : Duke, Roger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
D85
2000
